" Furio Honsell" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Frontiers of Fundamental Physics : Proceedings of the Sixth International Symposium

Автор: B. G. Sidharth, Автор: Furio Honsell, Автор: Alessandro de Angeles, Автор: Alessandro De Angelis

Размер книги: 6.02 Mb

Types for Proofs and Programs, TYPES 2007

Автор: Marino Miculan, Автор: Ivan Scagnetto, Автор: Furio Honsell

Категория: CsLn_

Размер книги: 2.04 Mb

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ...

Автор: Furio Honsell, Автор: Marino Miculan

Размер книги: 3.77 Mb